Zeventigduizend ervan gebruikte hij als lastdragers, tachtigduizend als steenhouwers, en zes en dertighonderd als opzichters over het werkvolk.